3

Operational semantics of the Java Card Virtual Machine

Year:
2004
Language:
english
File:
PDF, 1.33 MB
english, 2004
6

A UML-based static verification framework for security

Year:
2010
Language:
english
File:
PDF, 2.17 MB
english, 2010
7

Tempus fugit: How to plug it

Year:
2007
Language:
english
File:
PDF, 286 KB
english, 2007
8

Bayesian phylodynamic inference with complex models

Year:
2018
Language:
english
File:
PDF, 1.61 MB
english, 2018